Constraint Model-based Exploration of Simulation Trajectories in a MABS Model
نویسندگان
چکیده
This paper presents a method used for systematically investigating the content of a simulation model [see 17-18] in terms of constraint logic programming, more specifically as a forward chaining (model-based) constraint exploration of simulation trajectories. Possible applications of this exploration in MAS-based modelling are: proving tendencies in a fragment of the theory of a simulation model, to tease out what affects the envelope of a tendency, and more exhaustive scenario analysis than traditional ones. The proposed exploration allows for all simulation trajectories (possible worlds) associated to and constraint by a range of parameters of the simulation model and a range of choices of the agents. The characteristics and advantages of SDML, a declarative MAS-builder simulation language, for doing this exploration are explained. It is verified that the exploration is coNP-complete. This paper represents an effort in bringing closer the constraint logic community and the simulation community.
منابع مشابه
Dynamics and Regulation of Locomotion of a Human Swing Leg as a Double-Pendulum Considering Self-Impact Joint Constraint
Background:Despite some successful dynamic simulation of self-impact double pendulum (SIDP)-as humanoid robots legs or arms- studies, there is limited information available about the control of one leg locomotion.Objective :The main goal of this research is to improve the reliability of the mammalians leg locomotion and building more elaborated models close to the natural movements, by modelin...
متن کاملComputational Complexity of a Constraint Model- based Proof of the Envelope of Tendencies in a MAS- based Simulation Model
This paper determines the complexity of a constraint model-based proof of the envelope of a tendency in the dynamics of a Multi-Agent-based Simulation model. The proof is performed via a constraint model-based exploration of simulation trajectories using forward inference, by means of which a whole fragment of the simulation model theory is investigated. Such exploration allows for all simulati...
متن کاملTrajectory Planning Using High Order Polynomials under Acceleration Constraint
The trajectory planning, which is known as a movement from starting to end point by satisfying the constraints along the path is an essential part of robot motion planning. A common way to create trajectories is to deal with polynomials which have independent coefficients. This paper presents a trajectory formulation as well as a procedure to arrange the suitable trajectories for applications. ...
متن کاملConstraint Exploration and Envelope of Simulation Trajectories
The implicit theory that a simulation represents is precisely not in the individual choices but rather in the ‘envelope’ of possible trajectories – what is important is the shape of the whole envelope. Typically a huge amount of computation is required when experimenting with factors bearing on the dynamics of a simulation to tease out what affects the shape of this envelope. In this paper we p...
متن کاملExperimental and Simulation - Assisted Feasibility Study of Gas Injection to Increase Oil Recovery Using a Combination of Semi-VAPEX and GAGD Techniques
Gas injection into heavy oil reservoirs could result in high ultimate recovery of oil. Experimental studies showed that an application of a combined technology of Gas Assisted Gravity Drainage (GAGD) and Vapor Extraction (VAPEX) could increase final oil recovery of a candidate viscous oil reservoir. In this paper the results of laboratory investigation are presented, including Pressure-Volu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004